Section: New Software and Platforms

Math-Components

Mathematical Components library

Functional Description

The Mathematical Components library is a set of Coq libraries that cover the mechanization of the proof of the Odd Order Theorem.

• Participants: Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Georges Gonthier, Stéphane Le Roux, Assia Mahboubi, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi and Russell O'connor

• Contact: Assia Mahboubi

• URL: http://www.msr-inria.fr/projects/mathematical-components-2/